def f1(x:e1) -> r1: ...
def f2(x:e2) -> r2: ...
def f3(x:e3) -> r3: ...
def f4(x:e4) -> r4: ...
def f5(x:e5) -> r5: ...
def f6(x:e6) -> r6: ...
def f7(x:e7) -> r7: ...
def f8(x:e8) -> r8: ...
def f9(x:e9) -> r9: ...
